max $a $b inf $a $b $b $a main $v_1 $v_2 $v_1 $v_2 egal max $v_1 $v_2 $v_1 $v_1 $v_2