De la gestion française des mines d'Idrija sous l'empire a leur insertion dans les parcours Européens et les études des ingénieurs der mines du début du XIXe siecle