-R . HighSchoolGeometry
affine_classiques.v 
aire_signee.v 
alignement.v 
angles_droites.v 
angles_vecteurs.v 
applications_cocyclicite.v 
barycentre.v 
cercle.v 
cocyclicite.v 
complexes_conjugaison.v 
complexes_dilatations.v 
complexes_exercice.v 
complexes_similitudes.v 
complexes_transformations.v 
complexes.v 
composee_dilatations.v 
composee_reflexions.v 
composee_transformations.v 
composee_translation_rotation.v 
coplanarite.v 
determinant.v 
dilatations.v 
distance_euclidienne.v 
Droite_espace.v 
droite_Euler.v 
Droite_plan_espace.v 
equations_droites.v 
euclidien_classiques.v
exercice_espace.v 
Field_affine.v 
formes_complexes.v 
homothetie_plane.v 
homoth_Euler.v 
isocele.v 
mediatrice.v 
mesure_algebrique.v 
metrique_triangle.v 
milieu.v 
operations_complexes.v 
orthocentre.v 
orthogonalite_espace.v 
orthogonalite.v 
parallelisme_concours.v 
Plan_espace.v 
Plans_paralleles.v 
produit_scalaire.v 
projection_orthogonale.v 
reflexion_plane.v 
repere_ortho_plan.v 
repere_plan.v 
representant_unitaire.v 
rotation_plane.v 
Rutile.v 
similitudes_directes.v 
trigo.v 
vecteur.v 
transformations_contact.v
puissance_cercle.v
inversion.v
equations_cercles.v
contact.v
complexes_inversion.v
complexes_analytique.v
complements_cercle.v
