Philippe Dochen (21/10/1938-14/01/2009)