Opération Sentinelle : des militaires déployés sur le site du puy de Dôme