R&D sur un générateur de tests unitaires inspiré de PHPUnit Skeleton et du langage Praspel