Externalization of a PLE : Conceptual Design of LeContract