Les définitions rajoutées par popol