Théories homotopiques dans les topos

The purpose of these notes is to give an ad hoc construction of a closed model category structure on a topos inverting an arbitrary small set of arrows. Moreover, a necessary and sufficient condition for those structures to be proper is given. As an example, the Joyal closed model category structure on the category of simplicial objects of a topos is constructed without the use of (boolean) points.