Vous saviez que SO3 c’était un groupe de Lie ?