Comment démontre t-on qu'un quadrilatere est un losange ?