Submissions for team Les fous du Clavier on problem KIT Finding