Naissance d'un département, le Vaucluse — Bernard Thomas