Diagonale du vide
de Guillaume Ballandras