correction preuve conditionnelle