Armand Borel (1923-2003)