Construction et vérification de figures géométriques dans le système Pierrick Nicolas Publications mathématiques et informatique de Rennes