The principle of non bis in idem in the jurisprudence of the European Court of Justice