Determination of αs from static QCD potential: OPE with renormalon subtraction and lattice QCD | Synapse