Le théorème de la hoggra — Mathieu Rigouste