Double cast inutile..ou pas?

Version imprimable