Exercice n°2 : Rotations et démonstration (bis)