UNe version qui passe, mais qui genere une erreur au Qed.