@Nocta C'est par récurrence : en supposant que j'aie mangé la pizza, je peux venir la manger.