Linear Logic and logical paradigms of computation (M2 MPRI)