Analysis of non locality proofs in Quantum Mechanics