François Englert, theorist of elementary particles