$ETH 1551 Peu importe ce qu’il faut copier, allons-y !