Lidar measurements and Umkehr observations of the ozone vertical distribution at the Observatoire de Haute-Provence