Советско-французский симпозиум по операционным системам