Pierre Chevalier — French speleologist and mountaineer (1905-2001)