Ajout de add_args et correction, pour l'utiliser dans typproto.