Thomas, J. capitaine d'artillerie.