Transformation and analysis of (constraint) logic programs door S. Etalle