Pull = 'tirer' et non 'pousser' comme utilisé dans la première traduction Peut on avoir un terme plus adapté ?
Tu as raison; j’ai dû lire "push", je ne sais pas pourquoi…
C’est corrigé. Merci.
