son variables libres de "p").