François Englert (1932–2026) On Freund-Rubin compactifications of D=11 supergravity: On Lars Brink: