(on peut aussi écrire 4*ATAN(1) mais ça fait moins joli ^^)