:: suivant >>
éditer :: []->

dont voici une définition possible