Source: https://www.ihes.fr/~/paumier/LXM10/Résumé.pdf