Ligamentum flavum definition