  The aim of this paper is to present a simplified version of the notion of
$\infty$-groupoid developed by Grothendieck in "Pursuing Stacks" and to
introduce a definition of $\infty$-categories inspired by Grothendieck's
approach.
