Remove debug line
Change args of lib/notation.php
Add notation of Jour01 / ex01