Orages en Haute-Garonne : un déluge de grêlons de cinq centimètres de diamètre à Saint-Gaudens