debugg proposition encore