Charles-Henri Holmes 1933-2018