Expliquez les différences et la compatibilité des verrouillages au niveau des lignes dans PostgreSQL : SELECT ... FOR UPDATE, FOR NO KEY UPDATE, FOR SHARE et FOR KEY SHARE. En quoi diffèrent-ils du verrouillage optimiste ?