"J’ai entendu comme une énorme explosion" : C’était quoi cette forte détonation ce jeudi matin à Saint-Gaudens ?

Pendant quelques minutes ce jeudi matin, tout le monde s’est posé la même question à Saint-Gaudens. C’était quoi ce gros "boum" entendu vers 10 heures ?