2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/72690We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.25 pages, french. A gap in the proof of the main theorem is fixed (lemma 5.10). To appear in K-theoryCategory Theorytext