Flore du Vaucluse — Bernard Girerd, Jean-Pierre Roux