Ajout de formules de contexte et pour relations basiques