#texte_presentation {font-size:0.9em;}
#texte_mentions {font-size:0.9em;}
#texte_mentions .ui.hidden.divider {margin:0.15rem 0;}