Logique et introduction à la programmation fonctionnelle