L’existence des HPI implique l’existence des BPI (bas potentiel ... https://from.corentin.eu/notes/9v921yk7pjwpky87