Logique et approche mathématique de la programmation