Diachronie et synchronie en spécification, une illustration en Z.