Faisceaux analytiques semi-cohérents et fonctions différentiables — Jean Merrien