Mentions légales du service
avoids the pain of matching list items to axiom numbers when translating them by hand.