Identité et référence, la théorie des noms propres chez Frege et Kripke