In polars version 0.15.x , there is no practical way to read float with a comma as the decimal separator.
the feature to do so first appeared in version 0.20.x polars read_csv documenation version 0.20.x. Therefore the best is to upgrade to this version, or more recent.