algébrisation de l’analyse