Définition, construction et bilinéarité du type de Killing