When did Pierre Dervaux die?

Pierre Dervaux died in 1992.