Fin d’intervention des troupes militaires