Rotation plane (analytique)

Sous le capot de Rotation( , , ) pour un = . On n’en a sûrement rien à faire, mais c’est à force de lire un sujet du groupe, sur matrice de rotation autour d’un point distinct de l’origine, que je me suis mis en tête de rédiger ce papier : Rechercher, à l’aide du calcul formel de GeoGebra, la formulation analytique d’une rotation plane d’angle θ autour d’un point Ω.