Où en êtes-vous, Christian Petzold ?