Transcript Transformation de programmes logiques : application à