Ferme #2945 : un nom de critère peut avoir un souligné même lorsqu'il y a des...

Ferme #2945 : un nom de critère peut avoir un souligné même lorsqu'il y a des paramètres comme `{un_critere a,b}`