Quelle surprise, merci beaucoup, j’imagine...
$ETH . Mon TP est toujours à 2462.