L'argumentaire de projet - Amélioration du français

Exercice 1.5 (corrigé page 211). Prouver ... ? d'un second ensemble F de symboles, appelés symboles de fonctions. ... ? d'un troisième ensemble R de symboles, ...