https://123dok.net/document/zgw9w42v-existence-contacts-motion-viscous-incompressible-tresca-boundary-conditions.html