verif args main