nouveau hook Xlemmadisablefontselection qui permet de désactiver la selection de font dans le lemme en note de bas de page
nouveau hook Xendlemmadisablefontselection qui permet de désactiver la selection de font dans le lemme en note de fin