Quatre militaires tués dans l'explosion d'une mine en Tunisie