Een Europees Openbaar Ministerie, het opportuniteitsbeginsel en de theorie van dédoublement fonctionnel