Définitionsmachinaux