groupe des isométries d’un octogone