Nederlandse synoniemen voor 'gladius'