Mentions légales du service
whytac : use the access functions instead of fields. Last two commits don't compile with coq enabled.