1 ressource : first order formula