More than 70 years after its publication, the article by Einstein, Podolsky, and Rosen (EPR) [88] is still cited hundreds of times every year in the literature; this is a very exceptional case of longevity for a scientific article! There is some irony in this situation since, for a long time, the majority of physicists did not pay much attention to the EPR reasoning. They considered it as historically interesting, but with no precise relevance to modern quantum mechanics; the argument was even sometimes completely misinterpreted. Astriking example is given in the Einstein-Born correspondence [89] where Born, even in comments that he wrote after Einstein's death, clearly shows that he never completely understood the nature of the objections raised by EPR. Born went on thinking that the point of Einstein was a stubborn rejection of indeterminism (“look, Albert, indeterminism is not so bad!”), while actually the major concern of EPR was locality and/or separability (we come back later to these terms, which are related to the notion of space-time). If giants like Born could be misled in this way, no surprise that, later on, many others made similar mistakes!

This is why, in what follows, we will take an approach that may look elementary, but at least has the advantage of putting the emphasis on the logical structure of the arguments and their generality. Doing so, we will closely follow neither the historical development of the ideas nor the formulation of the original article, but rather will emphasize the generality of the EPR reasoning.