Introduction au langage des catégories