éviter d'utiliser les mêmes noms que cleveref