Le Tourisme en Algérie — Pierre Batail, Pierre Batail