Micro-optimisation

Version imprimable