Formalization and theoretical analysis of the local effect model - Beuve, M.