Le groupe de difféomorphismes hamiltoniens à support compact d’une variété symplectique admet une distance naturelle bi-invariante, d’après les travaux de Viterbo, Schwarz, Oh, Frauenfelder et Schlenk, construite à partir des invariants spectraux ...