MP/MP*: TP (parties ultimement périodiques de N)



Nous rédigeons une bibliothèque de fonctions, pour réaliser des calculs dans l'algèbre des parties ultimement périodiques de N.