les onze patrons de l'octaèdre régulier