Sécheresse en Occitanie : combien de pluie est vraiment tombée après les orages du 25 juillet ?