OK, I have charged the battery, I have a "RING" model charger.
The battery shows 13.3v on both the car display and my external meter.
Starting the engine the alternator is delivering 14.2v.
Tomorrow I'll see if the charge level has decreased and if there is any current flowing, as TMG suggested.