  We characterise, in several complementary ways, \'etale groupoids with
locally compact Hausdorff space of units whose essential groupoid C*-algebra
has the ideal intersection property, assuming that the groupoid is either
Hausdorff or $\sigma$-compact. This leads directly to a characterisation of the
simplicity of this C*-algebra which, for Hausdorff groupoids, agrees with the
reduced groupoid C*-algebra. Specifically, we prove that the ideal intersection
property is equivalent to the absence of essentially confined amenable sections
of isotropy groups. For groupoids with compact space of units we moreover show
that this is equivalent to the uniqueness of equivariant pseudo-expectations. A
key technical idea underlying our results is a new notion of groupoid action on
C*-algebras including the essential groupoid C*-algebra itself. For minimal
groupoids, we further obtain a relative version of Powers averaging property.
Examples arise from suitable group representations into simple groupoid
C*-algebras. This is illustrated by the example of the quasi-regular
representation of Thompson's group $\mathrm{T}$ with respect to Thompson's
group $\mathrm{F}$, which satisfies the relative Powers averaging property in
the Cuntz algebra $\mathcal{O}_2$.
