La table d'harmonie de Why3