application linéaire en dimension infinie