Musique informatique : de la synchronisation interprète / électronique à la partition algorithmique