tant donnée une mesure de probabilité gaussienne (centrée) sur un espace euclidien, l’inégalité de la corrélation gaussienne stipule que pour deux convexes symétriques, la mesure de l’intersection est plus grande que le produit des mesures. Longtemps à l’état de célèbre conjecture quelque peu mystérieuse, cette inégalité a récemment été démontrée par Thomas Royen (postée dans ArXiv sans être remarquée pendant un moment, et publiée dans le peu renommé Far East Journal of Theoretical Statistics en 2014). Nous présenterons l’argument de Royen, qui bien que relativement élémentaire, dévie sur un point essentiel des sentiers habituellement empruntés en géométrie de la mesure gaussienne.
