Mentions légales du service
this is a tentative patch to make && and || more robust wrt propositional simplification.