TD 4 - Propriétés du premier ordre, morphismes, plongements

Session 2 : examen sous forme d'un exercice sur ordinateur. ... R s'apparente davantage à un langage de programmation qu'à un logiciel proprement dit.