modified infgrid.py : documentation in InflectionGrid.value_to_key()