inégalité de Hornich-Hlawka