Groupe de Travail Analyse

compact operators and differentiability