Add td17mai2013.rkt