Aggiunto prodotto sincronizzato e un malloppo di risultati (da finire)
Aggiunta proposizione su esistenza e unicità dei path
Aggiunte macro
File non più necessario