(;FF[4]SZ[8]EV[rev.rt.2009.7.16]PB[hadamard]PW[truc]SO[https://www.littlegolem.net])