Philippe Flajolet (1948 - 2011)