The clavecins à maillets of Marius and Veltman