Op het elfde uur van de elfde dag van de elfde maand in 1918 kwam de Eerste Wereldoorlog tot een einde. Dat herdachten we vorige maand november. Een goede gelegenheid om over de carrière van wellicht de veelbetekendste legertandarts in de geschiedenis te vertellen.