Zubiaga, no sé si se ha olvidado en toda la mención que unos y otros hacéis de nombres vascos el popular "Machín" (diminutivo de Martín, según tengo entendido); creo que de ahí procede la palabra "Machinada" (revuelta de Machines, pues era un nombre muy extendido entre los vascos que se rebelaban allá por el siglo XVII.)

No soy un experto en este tema, pero si sirve, ahí va. Buenas noches, que es tardísimo.