Push ajout et suppression après un tri sur p. principale fonctionnels !