Research subject
Sujet de recherche: Le domaine abstrait des polyedres revisite : representation par contraintes et preuve formelle
o in hac habitasse platea dictumst etiam faucibus cursus