EDIT : en postant j'avais pas vu que des liens furent donnes avant que j'en parle

Autrement, il y a le forum de francais de Z3 qui traite du sujet. Des solutions existent, vous inquietez pas, pour ceux qui voudrait franchir le pas.
Pour les chevaux perdus, perso, je n'en sais rien.
Et pour illustrer un peu tout ca...


