Théorie Spectrale des Opérateurs compacts Auto-adjoints