I convinced myself it is really Pyrenean rockcress. It grows at the same site as pennycress. Both are quite common around here.