Vers une théorie de l'homotopie de l'algèbre des processus