National-Gardet i Lisabon hade vuxit till 12,000 man ochmönstrades