Local extendability of Einstein vacuum manifolds

We revisit in this article results of Klainerman and Rodnianski on a geometric breakdown criterion for Einstein vacuum spacetimes. We take advantage of the use of a time-harmonic transversal gauge to give a localized version (in space and time) of this result.