Laboratoire Preuves, Programmes et Systèmes