stream-complet.cc