Dièdre régulier de la huitième longueur