Clausules: list_clausules working!