9. Par prise de position du 26 juin 2017, complétée le 19 juillet 2017, la commune conclut au rejet du recours dans la mesure où il est recevable. Elle estime d'abord que la décision d'arrêt des travaux du 10 mai 2017 ne fait pas l'objet du présent litige puisqu'elle est
entrée en force. A propos du principe de la proportionnalité, la commune fait valoir que la
fermeture de la carrière s'imposait d'une part pour la protection des personnes et des
choses, et d'autre part parce que la recourante n'a pas pris au sérieux la décision du
10 mai 2017, qui statue l'interdiction d'exploiter cette carrière.