Philippe Garigue (1917-2008)