Casting de Où en êtes-vous, Jean-Marie Straub ?