update: marge sous les définitions