In "The Standard Conjectures" Kleiman says that the following properties of Weil cohomology theory were proved in 1963 for étale cohomology by Artin and Grothendieck, except for the last one that it was proved in 1973 by Deligne.
"... (1) (finiteness), (2) (Poincaré duality), (3) (Künneth formula), (4) (cycle map), (5) (weak Lefschetz theorem), (6) (strong Lefschetz theorem)..."
Which are the articles where I can find the proofs of this properties?