completion de la preuve 2 (a verifier)