Title: Logical systems containing only a finite number of symbols (Seminaire de mathematiques superieures)