Vaucluse : Le maire de Lauris renonce finalement à démissionner après l'agression d'un adjoint