resume de SLAM (analyse de programmes C)