John Machin est un mathématicien anglais connu principalement pour avoir calculé, en 1706, 100 décimales du nombre π grâce à la formule qui porte son nom, la formule de Machin : π 4 = 4 arctan ⁡ 1 5 − arctan ⁡ 1 239 {\displaystyle {\frac {\pi }{4}}=4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}}}. Wikipedia