Corrections docker + benchmarks
Cette PR corrige des points dans ta recette docker dont on a déjà parlé, mais surtout du code de benchmark qui n'a pas été adapté aux évolutions de la lib.
Idéalement, il faudrait que ce second point soit mergé d'ici lundi. Le premier peut attendre.