Text this: Les variétés hyperboliques sont des minima locaux de l'entropie topologique.