Mashed French Beans With Garlic And Mint