Title: Systeme de programmation pour le geometrie analytique