Dynamic Local Interaction Model : formalisation et algorithmes