Double extension of flat pseudo-Riemannian F-Lie algebras | Synapse