les maires de Vaucluse élus depuis les années 80