INTRODUCTION A LA LOGIQUE