Vérification de quelques lois d’algèbre et de géométrie par la pratique