Custom Bell inequalities from formal sums of squares. - Victor Barizien; Pavel Sekatski; Jean-Daniel Bancal (Quantum, 2024)