When was Pierre Dervaux born?

Pierre Dervaux was born in 1917.