Costin Miereanu’s contribution to Musique en jeu