Envoyer la notice par courriel: Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol