John Griggs Thompson & Jaques Tits