Envelope of plurifinely plurisubharmonic functions and complex Monge-Ampère type equation | Synapse