Issue #338: add Théo to credits, also fix a typo in Philippe's name