Théorie des programmes — C. Livercy