j ai un projet sur la traduction de UML en Z et je connu rien sur les 2 ,vous pouvez m explique comment commencer le travaille