Communiqués par Zaikin, Oleg (Warsaw School of Computer Science, Poland)