René Bernard 1927-2012