1. 1949 industr. (Brunerie, loc. cit.); 2. 1960 math. fonctions semi-continues (Bourbaki, loc. cit.). Comp. de semi-* et de continu*.