Hello I would need please a bibliographical reference for the following theorem : "consider a complete cocomplete cartesian closed category C. Then the category of internal 1-categories of C is complete cocomplete and ccartesian closed". I need it for the redaction of a proof. Thanks in advance. pg.