#7 es una forma de hablar, joder.

Ya sabemos que la figura del policía encubierto o infiltrado es una cosa (y regulada por la LeCrim) y lo que hacia este es otra.

Pero para entendernos en lenguaje coloquial le llaman "infiltrado".